
#include "jxos_public.h"


void main()
{	
	jxos_run();
}

